As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...